Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
451	The Millennium Edition Stanley Burris H. P. Sankappanavar A Course in Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 14:51:33 Algebraic logic Algebraic structures Universal algebra Boolean algebra Variety Subdirectly irreducible algebra Representation theory Model theory Stone duality Abstract algebra Mathematics Algebra
452	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2015-01-17 12:41:52 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Propositional variable Interpretation First-order logic Logic Mathematical logic Mathematics
453	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-18 21:38:14 Abstract algebra Mathematical structures Elementary algebra Function Boolean algebra Equivalence relation Finite set Algebra of sets Base Mathematics Algebra Algebraic structures
454	ICAPS 2012 Tutorial Decision Diagrams in Discrete and Continuous Planning Scott Sanner Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2012-06-26 18:48:32 GEC Mathematics Theoretical computer science PROPT X2 Boolean algebra Numerical software
455	Boolean Logic Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Boolean Logic Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-24 08:06:04 Mathematics Logic gates Digital circuits AND gate OR gate Boolean function Multiplexer Negated AND gate Boolean algebras canonically defined Mathematical logic Boolean algebra Algebraic logic
456	Chapter 1 Our Adversary: The Circuit Boolean (or switching) functions map each sequence of bits to a single bit 0 or 1. Bit 0 is usually interpreted as “false”, and bit 1 as “true”. The simplest of such Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2012-03-10 09:14:00 Boolean algebra Algebraic logic Boolean function Parity function FO Disjunctive normal form Canonical form Circuit complexity Monotonic function Mathematics Mathematical logic Abstract algebra
457	The Bulletin of the EATCS Book Introduction by the Authors Invited by Kazuo Iwama Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2014-07-01 16:45:45 Circuit complexity Complexity classes Boolean algebra Boolean circuit Switching lemma Parity function Natural proof ACC0 Circuit Theoretical computer science Computational complexity theory Applied mathematics
458	Supplement of Geosci. Model Dev., 7, 1069–1092, 2014 http://www.geosci-model-dev.net/gmddoi:gmdsupplement © Author(sCC Attribution 3.0 License. Supplement of Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2015-01-22 09:14:58 Semantics Partial differential equations FALSE Negation True and false Wave Linguistics Logic Computing Boolean algebra Propositional calculus
459	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2, Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Diagrams Binary decision diagram Boolean algebra Model checking Graph theory Graph Directed acyclic graph Prolog Binary relation Mathematics Theoretical computer science Relational model
460	3ME4 3 M E 4 請把電腦條碼貼在方格內 Please stick the barcode label in the box Add to Reading List Source URL: www.bca.hkeaa.edu.hk Language: English - Date: 2012-08-16 03:44:00 Logical disjunction Propositional calculus Pi Logic Mathematics Binary operations Boolean algebra

UPDATE